semantikos klaida

semantikos klaida statusas T sritis informatika apibrėžtis Prasminė klaida programoje, padaryta nenusižengiant sintaksės taisyklėms. Dalis semantikos klaidų aptinkama kompiliavimo metu. Pavyzdžiui, operandų duomenų tipai ne tokie, kokių reikia operacijai, panaudotas neaprašytas kintamasis. Praktiškai visų programavimo kalbų sintaksė aprašoma laisvo konteksto gramatika (dažniausiai Bakaus ir Nauro forma), kurioje minėti dalykai neapibrėžiami. Todėl tokios klaidos laikomos semantikos klaidomis. Jeigu programavimo kalboms aprašyti būtų taikoma griežtesnė gramatika (pvz., kontekstinė), tai tada tokie dalykai būtų aprašomi ir persikeltų į sintaksės sferą. Dėl to tokio tipo klaidų priskyrimas prie semantikos klaidų laikytinas sąlyginiu. Visos klaidos, aptinkamos programos vykdymo metu (pvz., ↑perpildymas, ↑dalyba iš nulio), laikomos semantinėmis. atitikmenys: angl. semantic error ryšiai: dar žiūrėk – dalyba iš nulio dar žiūrėk – perpildymas dar žiūrėk – perpildymas palygink – sintaksės klaida